Continuity and geometric logic
نویسنده
چکیده
This paper is largely a review of known results about various aspects of geometric logic. Following Grothendieck’s view of toposes as generalized spaces, one can take geometric morphisms as generalized continuous maps. The constructivist constraints of geometric logic guarantee the continuity of maps constructed, and can do so from two different points of view: for maps as point transformers and maps as bundles.
منابع مشابه
Continuity is Geometricity
This paper is largely a review of known results about various aspects of geometric logic. Following Grothendieck’s view of toposes as generalized spaces, one can take geometric morphisms as generalized continuous maps. The constructivist constraints of geometric logic guarantee the continuity of maps constructed, and can do so from two different points of view: for maps as point transformers an...
متن کاملAn Optimal G^2-Hermite Interpolation by Rational Cubic Bézier Curves
In this paper, we study a geometric G^2 Hermite interpolation by planar rational cubic Bézier curves. Two data points, two tangent vectors and two signed curvatures interpolated per each rational segment. We give the necessary and the sufficient intrinsic geometric conditions for two C^2 parametric curves to be connected with G2 continuity. Locally, the free parameters w...
متن کاملConstraints in Cad Models for Reverse Engineering Using Photogrammetry
The paper discusses the use of geometric constraints in a CAD model-based photogrammetric system. The CAD models are represented by CSG (Constructive Solid Geometry) models. The geometric primitives that make up the CSG model are parameterized by their pose and shape parameters. Geometric relations, or constraints, between these primitives are expressed using these parameters. Constraints can b...
متن کاملSOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC
In this paper, based in the L ukasiewicz logic, the definition offuzzifying soft neighborhood structure and fuzzifying soft continuity areintroduced. Also, the fuzzifying soft proximity spaces which are ageneralizations of the classical soft proximity spaces are given. Severaltheorems on classical soft proximities are special cases of the theorems weprove in this paper.
متن کاملGeometric Continuous Patch Complexes by
A theory of geometric continuity of arbitrary order is presented. Conditions of geometric continuity at a vertex where a number of patches meet are investigated. Geometric continuous patch complexes are introduced as the appropriate setting for the representation of surfaces in CAGD. The theory is applied to the modelling of closed surfaces and the fitting of triangular patches into a geometric...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Applied Logic
دوره 12 شماره
صفحات -
تاریخ انتشار 2014